OPTIONS:
AUTO_HEADER=FALSE

CONSTANTS:
NUMBER_OF_GUESSES=10

VARIABLES:
Guess={1 .. NUMBER_OF_GUESSES}

OUTPUT:
G${Guess:\}_Correct_color_and_place != NUMBER_OF_COLORS || G${Guess:\}C1 != GXC1 || G${Guess:\}C2 != GXC2 || G${Guess:\}C3 != GXC3 || G${Guess:\}C4 != GXC4
